$\forall$$s$:QOSet. Preorder($\mid$$s$$\mid$;$a$,$b$.$a$ $\leq$ $b$)